Optimal. Leaf size=30 \[ \frac{1}{3 \left (a \sec ^2(x)\right )^{3/2}}-\frac{1}{a \sqrt{a \sec ^2(x)}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0967719, antiderivative size = 30, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.176, Rules used = {3657, 4124, 43} \[ \frac{1}{3 \left (a \sec ^2(x)\right )^{3/2}}-\frac{1}{a \sqrt{a \sec ^2(x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3657
Rule 4124
Rule 43
Rubi steps
\begin{align*} \int \frac{\tan ^3(x)}{\left (a+a \tan ^2(x)\right )^{3/2}} \, dx &=\int \frac{\tan ^3(x)}{\left (a \sec ^2(x)\right )^{3/2}} \, dx\\ &=\frac{1}{2} a \operatorname{Subst}\left (\int \frac{-1+x}{(a x)^{5/2}} \, dx,x,\sec ^2(x)\right )\\ &=\frac{1}{2} a \operatorname{Subst}\left (\int \left (-\frac{1}{(a x)^{5/2}}+\frac{1}{a (a x)^{3/2}}\right ) \, dx,x,\sec ^2(x)\right )\\ &=\frac{1}{3 \left (a \sec ^2(x)\right )^{3/2}}-\frac{1}{a \sqrt{a \sec ^2(x)}}\\ \end{align*}
Mathematica [A] time = 0.0247385, size = 23, normalized size = 0.77 \[ \frac{\cos (2 x)-5}{6 a \sqrt{a \sec ^2(x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.019, size = 29, normalized size = 1. \begin{align*} -{\frac{1}{a}{\frac{1}{\sqrt{a+a \left ( \tan \left ( x \right ) \right ) ^{2}}}}}+{\frac{1}{3} \left ( a+a \left ( \tan \left ( x \right ) \right ) ^{2} \right ) ^{-{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.1809, size = 51, normalized size = 1.7 \begin{align*} \frac{{\left (\sin \left (x\right )^{2} + 2\right )}{\left (\sin \left (x\right ) + 1\right )}^{\frac{3}{2}}{\left (-\sin \left (x\right ) + 1\right )}^{\frac{3}{2}}}{3 \,{\left (a^{\frac{3}{2}} \sin \left (x\right )^{2} - a^{\frac{3}{2}}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.29534, size = 111, normalized size = 3.7 \begin{align*} -\frac{\sqrt{a \tan \left (x\right )^{2} + a}{\left (3 \, \tan \left (x\right )^{2} + 2\right )}}{3 \,{\left (a^{2} \tan \left (x\right )^{4} + 2 \, a^{2} \tan \left (x\right )^{2} + a^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 3.49888, size = 36, normalized size = 1.2 \begin{align*} \begin{cases} \frac{\frac{a}{3 \left (a \tan ^{2}{\left (x \right )} + a\right )^{\frac{3}{2}}} - \frac{1}{\sqrt{a \tan ^{2}{\left (x \right )} + a}}}{a} & \text{for}\: a \neq 0 \\\tilde{\infty } \tan ^{4}{\left (x \right )} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.08396, size = 35, normalized size = 1.17 \begin{align*} -\frac{3 \, a \tan \left (x\right )^{2} + 2 \, a}{3 \,{\left (a \tan \left (x\right )^{2} + a\right )}^{\frac{3}{2}} a} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]